bounded quantification中文什么意思

有界量词限制

• bounded:    adj. 1.有界限的，有限制的。 ...
• quantification:    n. 定量；【逻辑学】附量，量化。
• bounded by:    被……限制; 被…限制以…为边界周围 ...

百科释义

In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.